Rózsa, Péter: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Mathematics is beautiful

Rózsa Péter, Leon Harkleroad

Journal:

The Mathematical Intelligencer

Year:

1990

Language:

english

File:

PDF, 675 KB

english, 1990

2

Kleene S. C.. λ-definability and recursiveness. Duke mathematical journal, Bd. 2 (1936), S. 340–353.

Journal:

Journal of Symbolic Logic

Year:

1937

Language:

german

File:

PDF, 165 KB

german, 1937

3

General Recursive Functions of Natural Numbersby S. C. Kleene

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1937

File:

PDF, 190 KB

1937

4

On Notation for Ordinal Numbersby S. C. Kleene

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1939

File:

PDF, 370 KB

1939

5

λ-Definability and Recursivenessby S. C. Kleene

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1937

File:

PDF, 345 KB

1937

6

Über den Zusammenhang der verschiedenen Begriffe der rekursiven Funktion

Journal:

Mathematische Annalen

Year:

1935

Language:

german

File:

PDF, 942 KB

german, 1935

7

A Note on the Reduction of Gentzen's Calculus LJby H. B. Curry

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1939

File:

PDF, 210 KB

1939

8

GRAPHSCHEMATA UND REKURSIVE FUNKTIONEN

Von Rózsa Péter

Journal:

Year:

1958

Language:

german

File:

PDF, 764 KB

german, 1958

9

Comparison of the Methods of Rock-Microscopic Grain-Size Determination and Quantitative Analysis

Antal Járai, Miklós Kozák, Péter Rózsa

Journal:

Mathematical Geosciences

Year:

1997

Language:

english

File:

PDF, 634 KB

english, 1997

10

Braucht der Algebraiker das Auswahlaxiom?by Oswald Teichmüller

Review by: Rozsa Peter

Journal:

Journal of Symbolic Logic

Year:

1941

Language:

english

File:

PDF, 301 KB

english, 1941

11

Konstruktion nichtrekursiver Funktionen

Journal:

Mathematische Annalen

Year:

1935

Language:

german

File:

PDF, 832 KB

german, 1935

12

Nicht Konstruktiv Beweisbare Sätze der Analysis.by Ernst Specker

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1950

File:

PDF, 280 KB

1950

13

New archaeometrical results related to Neolithic blueschist stone tools from Borsod-Abaúj-Zemplén County, Hungary

Kereskényi, Erika, Szakmány, György, Fehér, Béla, Kasztovszky, Zsolt, Kristály, Ferenc, Rózsa, Péter

Journal:

Journal of Archaeological Science: Reports

Year:

2018

Language:

english

File:

PDF, 4.10 MB

english, 2018

14

Logic-free Formalisations of Recursive Arithmeticby R. L. Goodstein

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1959

Language:

english

File:

PDF, 308 KB

english, 1959

15

Fonctions Récursives.by Andrzej Grzegorczyk

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1966

File:

PDF, 445 KB

1966

16

O Primitivno Rékursivnyh Funkciah Bol'šogo Razmaha (Über Umfangsreiche Primitiv-Rekursive Funktionen).by A. V. Kuznécov

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1952

File:

PDF, 297 KB

1952

17

Some Classes of Recursive Functionsby Andrzej Grzegorczyk

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 344 KB

english, 1955

18

Über die Verallgemeinerung der Theorie der rekursiven Funktionen für abstrakte Mengen geeigneter Struktur als Definitionsbereiche (Fortsetzung)

Journal:

Acta Mathematica Hungarica

Year:

1962

Language:

german

File:

PDF, 1.02 MB

german, 1962

19

Including an Update to A Bibliography of Symbolic Logic || Die Gegenwärtige Lage in der Mathematischen Grundlagenforschung.by Gerhard Gentzen

Review by: Rozsa Peter

Journal:

Journal of Symbolic Logic

Year:

1938

File:

PDF, 356 KB

1938

20

Note on the 3-Recursive Functionsby Paul Axt

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 282 KB

english, 1964

21

Completeness of the Propositional Calculusby W. V. Quine

Review by: Rozsa Peter

Journal:

Journal of Symbolic Logic

Year:

1938

File:

PDF, 320 KB

1938

22

Die Widerspruchsfreiheit der Allgemeinen Mengenlehreby Wilhelm Ackerman

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1937

File:

PDF, 221 KB

1937

23

Kleene S. C.. General recursive functions of natural numbers. Mathematische Annalen, Bd. 112 (1935–1936), S. 727–742.

Journal:

Journal of Symbolic Logic

Year:

1937

Language:

german

File:

PDF, 80 KB

german, 1937

24

Die Definition Durch Vollständige Induktion.by P. Lorenzen

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1940

Language:

english

File:

PDF, 301 KB

english, 1940

25

Nem Elemi Rekurziv Függvény Létezése (Existenze einer Nichtelementaren Rekursiven Funktion).by Ilona Bereczki

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 111 KB

english, 1954

26

Consistency adjustments for pairwise comparison matrices

András Farkas, Peter Lancaster, Pál Rózsa

Journal:

Numerical Linear Algebra with Applications

Year:

2003

Language:

english

File:

PDF, 101 KB

english, 2003

27

Eine Bemerkung über die Induktionsschemata in der Rekursiven Zahlentheorie.by Th. Skolem

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1940

File:

PDF, 235 KB

1940

28

A Lemma Concerning Recursive Functions and Its Applicationsby A. Mostowski

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1954

File:

PDF, 109 KB

1954

29

Zusammenhang der Mehrfachen und Transfiniten Rekursionen

Journal:

Journal of Symbolic Logic

Year:

1950

File:

PDF, 1.49 MB

1950

30

Ein neuer Beweis für die Tatsache, dass die Klasse der primitiv-rekursiven Funktionen umfassender als die Klasse der elementaren Funktionen ist

Journal:

Mathematical Logic Quarterly

Year:

1955

Language:

german

File:

PDF, 402 KB

german, 1955

31

Probleme der Hilbertschen Theorie der höheren Stufen von rekursiven Funktionen

Journal:

Acta Mathematica Hungarica

Year:

1951

Language:

german

File:

PDF, 1.42 MB

german, 1951

32

On Derivabilityby W. V. Quine

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1938

File:

PDF, 203 KB

1938

33

Classes of Recursively Enumerable Sets and their Decision Problemsby H. G. Rice

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1954

File:

PDF, 108 KB

1954

34

Classifications of Recursive Functions by Means of Hierarchiesby Solomon Feferman

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1965

File:

PDF, 360 KB

1965

35

On the Reducibility of Decision Problemsby A. Janiczak

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1956

Language:

english

File:

PDF, 321 KB

english, 1956

36

Die Pairschen freien Binoïden als Spezialfälle der angeordneten freien holomorphen Mengen

Journal:

Acta Mathematica Hungarica

Year:

1970

Language:

german

File:

PDF, 1017 KB

german, 1970

37

Programmierung und partiell-rekursive funktionen

Journal:

Acta Mathematica Hungarica

Year:

1963

Language:

german

File:

PDF, 1.44 MB

german, 1963

38

Primitive Recursive Functionsby Raphael M. Robinson

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1948

Language:

english

File:

PDF, 302 KB

english, 1948

39

Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie.by Gerhard Gentzen

Review by: Rozsa Peter

Journal:

Journal of Symbolic Logic

Year:

1939

Language:

german

File:

PDF, 381 KB

german, 1939

40

Completeness in the Theory of Typesby Leon Henkin

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 314 KB

english, 1951

41

Recursion and Double Recursionby Raphael M. Robinson

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1949

File:

PDF, 332 KB

1949

42

Primitive Recursive Functions. IIby Raphael M. Robinson

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1957

Language:

english

File:

PDF, 118 KB

english, 1957

43

Enumeration and the Grzegorczyk Hierarchyby Paul Axt

Review by: Rozsa Peter

Journal:

Journal of Symbolic Logic

Year:

1965

Language:

english

File:

PDF, 332 KB

english, 1965

44

A Note on Primitive Recursive Functionsby Julia Robinson

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1957

File:

PDF, 85 KB

1957

45

Licensing the first reduced, 6 µg dose whole virion, aluminum adjuvanted seasonal influenza vaccine – A randomized-controlled multicenter trial

Vajo, Zoltan, Kalabay, Laszlo, Vajo, Peter, Balaton, Gergely, Rozsa, Noemi, Torzsa, Peter

Journal:

Year:

2018

Language:

english

File:

PDF, 549 KB

english, 2018

46

Über die mehrfache Rekursion

Journal:

Mathematische Annalen

Year:

1937

Language:

german

File:

PDF, 1.51 MB

german, 1937

47

A Reduction of the Recursion Schemeby M. D. Gladstone

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 227 KB

english, 1970

48

Acousto-optic materials for special applications with ultra-short optical pulses

Pál Maák, Máté Veress, Balázs Rózsa, Róbert Szipőcs, Péter Richter

Journal:

physica status solidi (c)

Year:

2011

Language:

english

File:

PDF, 671 KB

english, 2011

49

Über die Verallgemeinerung der Theorie der Rekursiven Funktionen für Abstrakte Mengen Geeigneter Struktur als Definitionsbereiche

Journal:

Acta Mathematica Hungarica

Year:

1964

Language:

german

File:

PDF, 1.95 MB

german, 1964

50

A Version of the Proof of Equivalence Between Complete Induction and the Uniqueness of Primitive Recursionby Th. Skolem

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1959

Language:

english

File:

PDF, 215 KB

english, 1959

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски